Rlp 127: Dna Proof Arguments